- закон отрицания антецедента
- law of denial of antecedent
Русско-английский научно-технический словарь Масловского. 2015.
закон отрицания антецедента
Look at other dictionaries:
ПОЗИТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний в языке {a, , }, задаваемое следующими 8 схемами аксиом: и правилом вывода модус поненс, П. п. и. содержит ту часть интуиционистского исчисления высказываний I (см. Интуиционизм), к рая не зависит от отрицания, а именно:… … Математическая энциклопедия
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где троичное множество, а неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества цифровые… … Википедия
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ИНВЕРСИЯ — (от лат. inversio – перестановка) в психологии объемно наглядное переворачивание. Напр., когда наблюдатель движется вперед и назад на некотором расстоянии перед маской, расположенной на темном фоне и обращенной к наблюдателю внутренней стороной,… … Философская энциклопедия
